Soft Constraint Propagation and Solving in Constraint Handling Rules

机译：软约束传播和约束处理规则的求解

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
S. Bistarelli; T. Fruhwirth; M. Marte; F. Rossi;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. SOFT CONSTRAINT PROPAGATION AND SOLVING IN CONSTRAINT HANDLING RULES [J] . S. BISTARELLI, T. FRUEHWIRTH, M. MARTE, Computational Intelligence . 2004,第2期

机译：约束处理规则中的软件约束传播和求解
2. Program Verification using Constraint Handling Rules and Array Constraint Generalizations [J] . De Angelis Emanuele, Pettorossi Alberto, Fioravanti Fabio, Fundamenta Informaticae . 2017,第1期

机译：使用约束处理规则和数组约束归纳进行程序验证
3. Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities [J] . LESLIE DE KONINCK Theory and Practice of Logic Programming . 2009,第2期

机译：逻辑算法符合CHR：具有规则优先级的约束处理规则的元复杂性结果
4. CONSTRAINT SOLVING WITH CONSTRAINT HANDLING RULES [C] . THOM FRUEHWIRTH International symposium on languages for intensional programming . 2000

机译：用约束处理规则解决约束
5. Use of constraint solving for testing software product lines. [D] . Shi, Jiangfan. 2012

机译：使用约束求解来测试软件产品线。
6. From the Cover: A geometric constraint the head-to-tail exclusion rule may be the basis for the isolated-pentagon rule in fullerenes with more than 60 vertices [O] . Stan Schein, Tara Friedrich 2008

机译：从封面开始：几何约束（从头到尾的排除规则）可能是具有60个以上顶点的富勒烯中孤立五边形规则的基础
7. Soft Constraint Propagation and Solving in Constraint Handling Rules [O] . S. BISTARELLI, T. FRUEHWIRTH, M. MARTE, 2004

机译：软约束传播和约束处理规则的求解

Soft Constraint Propagation and Solving in Constraint Handling Rules

著录项

引文网络

相似文献

相关主题

期刊订阅